#ifndef KERNEL_H
#define KERNEL_H

void print(char *c);

#endif
